Name:
ISO/IEC 15437:2001 PDF
Published Date:
08/15/2001
Status:
Active
Publisher:
International Organization for Standardization/International Electrotechnical Commission
This International Standard de nes the syntax and semantics of the enhanced LOTOS language (ISO 8807), named E-LOTOS. E-LOTOS is used for the formal description of the behavioural aspects of distributed and concurrent systems in general and in the area of open distributed processing in particular.
| File Size : | 1 file , 860 KB |
| Note : | This product is unavailable in Russia, Ukraine, Belarus |
| Number of Pages : | 187 |
| Published : | 08/15/2001 |
| Same As : | ISO/IEC 15437:2001 |